typed language

typed language
язык с контролем типов, типизированный язык

Visual Prolog is a strongly typed object oriented programming language based on the logical programming language Prolog. — Visual Prolog - базирующийся на Прологе строго типизированный объектно-ориентированный язык см. тж. data type, programming language, type conversion


Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. . 1998-2007.

Игры ⚽ Нужна курсовая?

Смотреть что такое "typed language" в других словарях:

  • typed — adjective a) Having a specific data type. A typed variable can only store one kind of data. b) In which variables are typed. Scheme is a typed language. Ant: untyped …   Wiktionary

  • Typed lambda calculus — A typed lambda calculus is a typed formalism that uses the lambda symbol (lambda) to denote anonymous function abstraction. Typed lambda calculi are foundational programming languages and are the base of typed functional programming languages… …   Wikipedia

  • Typed assembly language — In computer science, a typed assembly language (TAL) is an assembly language that is extended to include a method of annotating the datatype of each value that is manipulated by the code. These annotations can then be used by a program (type… …   Wikipedia

  • Language Integrated Query — LINQ redirects here. For the card game, see Linq (card game). Language Integrated Query Influenced by SQL, Haskell Language Integrated Query (LINQ, pronounced link ) is a Microsoft .NET Framework component that adds native data querying… …   Wikipedia

  • Strongly-typed programming language — In computer science and computer programming, the term strong typing is used to describe those situations where programming languages specify one or more restrictions on how operations involving values having different data types can be… …   Wikipedia

  • Pike (programming language) — Pike Paradigm(s) multi paradigm: object oriented, functional, procedural Appeared in 1994 Designed by Fredrik Hübinette Devel …   Wikipedia

  • Ruby (programming language) — ] . IronRuby [cite web url = http://rubyforge.org/pipermail/ironruby core/2008 May/001909.html title = IronRuby / Rails Question author = John Lam date=2008 05 25 accessdate = 2008 05 25] [cite web url = http://www.iunknown.com/2008/05/ironruby… …   Wikipedia

  • Sleep (programming language) — Infobox programming language name = Sleep logo = paradigm = procedural, scripting year = 2002 designer = Raphael Mudge developer = latest release version = 2.1 latest release date = release date|2008|07|01 latest test version = latest test date …   Wikipedia

  • Lua (programming language) — Infobox programming language name = Lua paradigm = Multi paradigm: scripting, imperative, functional year = 1993 designer = Roberto Ierusalimschy Waldemar Celes Luiz Henrique de Figueiredo developer = latest release version = 5.1.4 latest release …   Wikipedia

  • F Sharp (programming language) — The correct title of this article is F#. The substitution or omission of the # sign is because of technical restrictions. F# Paradigm(s) multi paradigm: functional, imperative, object oriented Appeared in 2002 (2002) …   Wikipedia

  • Charm (programming language) — Charm Paradigm(s) Structured programming Appeared in 1996 Designed by P. Nowosad Influenced by RTL/2, C, Pascal OS RISC OS …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»